<html>
<head><meta charset="utf-8"><title>Zulip Chat Archive</title></head>
<h2> Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/index.html">wg-formal-methods</a></h2>
<hr>

<h3>Topics:</h3>

<ul>
<li> <a href="topic/Specification.20Challenge.html">Specification Challenge</a> (4 messages, latest: Jul 15 2021 at 17:51) </li>
<li> <a href="topic/.5BANN.5D.20wg-formal-methods.20meetings.html">[ANN] wg-formal-methods meetings</a> (10 messages, latest: Jul 15 2021 at 17:48) </li>
<li> <a href="topic/formal.20verification.20interest.20group.html">formal verification interest group</a> (14 messages, latest: Jul 09 2021 at 10:38) </li>
<li> <a href="topic/Specification.20language.20for.20Rust.html">Specification language for Rust</a> (20 messages, latest: Jun 21 2021 at 13:16) </li>
<li> <a href="topic/Coq.20to.20rust.20extraction.html">Coq to rust extraction</a> (1 message, latest: Jun 21 2021 at 12:27) </li>
<li> <a href="topic/Patching.20the.20compiler.20for.20a.20verification.20tool.html">Patching the compiler for a verification tool</a> (1 message, latest: Jun 02 2021 at 09:13) </li>
<li> <a href="topic/Access.20to.20MIR.20from.20third-party.20tools.html">Access to MIR from third-party tools</a> (60 messages, latest: Jun 02 2021 at 08:30) </li>
<li> <a href="topic/Research.20topic.html">Research topic</a> (84 messages, latest: Apr 25 2021 at 17:07) </li>
<li> <a href="topic/RustVerify.20Workshop.html">RustVerify Workshop</a> (7 messages, latest: Apr 07 2021 at 20:39) </li>
<li> <a href="topic/RustVerify.20Workshop.20Zulip.html">RustVerify Workshop Zulip</a> (1 message, latest: Apr 07 2021 at 20:38) </li>
<li> <a href="topic/Comparing.20Rust.20and.20Ada.html">Comparing Rust and Ada</a> (40 messages, latest: Mar 25 2021 at 14:17) </li>
<li> <a href="topic/Branding.20(.22generative.20types.22).20in.20Rust.html">Branding (&quot;generative types&quot;) in Rust</a> (19 messages, latest: Mar 16 2021 at 17:53) </li>
<li> <a href="topic/Semantics.20of.20functional.20rust.html">Semantics of functional rust</a> (12 messages, latest: Mar 16 2021 at 17:31) </li>
<li> <a href="topic/Featherweight.20Rust.html">Featherweight Rust</a> (28 messages, latest: Jan 21 2021 at 09:32) </li>
<li> <a href="topic/Vellvm.html">Vellvm</a> (1 message, latest: Jan 20 2021 at 13:49) </li>
<li> <a href="topic/Rust.20Verification.20Workshop.20CFP.html">Rust Verification Workshop CFP</a> (5 messages, latest: Dec 07 2020 at 14:38) </li>
<li> <a href="topic/Inconsistency.20in.20MIR.20for.20branches.html">Inconsistency in MIR for branches</a> (3 messages, latest: Oct 28 2020 at 10:31) </li>
<li> <a href="topic/MIR.20vs.20HAIR.html">MIR vs HAIR</a> (10 messages, latest: Oct 21 2020 at 15:39) </li>
<li> <a href="topic/Crux-verifier.20from.20Galois.html">Crux-verifier from Galois</a> (2 messages, latest: Oct 10 2020 at 20:04) </li>
<li> <a href="topic/Master&#x27;s.20Work.html">Master&#x27;s Work</a> (19 messages, latest: Sep 12 2020 at 08:22) </li>
<li> <a href="topic/Interesting.20Thesis.html">Interesting Thesis</a> (4 messages, latest: Sep 04 2020 at 11:20) </li>
<li> <a href="topic/Rust.20verification.20tools.html">Rust verification tools</a> (4 messages, latest: Sep 04 2020 at 09:22) </li>
<li> <a href="topic/Rusty.20PhD.20thesis.html">Rusty PhD thesis</a> (1 message, latest: Sep 03 2020 at 17:47) </li>
<li> <a href="topic/Undecidable.20type.20checking.20in.20Swift.html">Undecidable type checking in Swift</a> (4 messages, latest: Aug 04 2020 at 17:25) </li>
<li> <a href="topic/Standards.20for.20verification.20tools.html">Standards for verification tools</a> (30 messages, latest: Jul 13 2020 at 16:33) </li>
<li> <a href="topic/Reading.20suggestions.html">Reading suggestions</a> (9 messages, latest: Jul 13 2020 at 11:15) </li>
<li> <a href="topic/.22lowering.22.20specification.20language.20to.20MIR.html">&quot;lowering&quot; specification language to MIR</a> (34 messages, latest: Jul 06 2020 at 11:20) </li>
<li> <a href="topic/Proofs.20of.20MIR-opt.20soundness.html">Proofs of MIR-opt soundness</a> (2 messages, latest: Jun 26 2020 at 17:17) </li>
<li> <a href="topic/RustHorn.html">RustHorn</a> (19 messages, latest: Jun 23 2020 at 13:59) </li>
<li> <a href="topic/hello.html">hello</a> (27 messages, latest: Jun 20 2020 at 20:56) </li>
<li> <a href="topic/Verification.20case.20studies.html">Verification case studies</a> (8 messages, latest: Apr 23 2019 at 13:39) </li>
</ul>

<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>